T : [
] #
 where
e
 implements
T
e
